The primary quantum mechanical equation of motion entails that measurements typically do not have determinate outcomes, but result in superpositions of all possible outcomes. Dynamical collapse theories (e.g. GRW) supplement this equation with a stochastic Gaussian collapse function, intended to collapse the superposition of outcomes into one outcome. But the Gaussian collapses are imperfect in a way that leaves the superpositions intact. This is the tails problem. There are several ways of making this problem more precise. But many authors dismiss (...) the problem without considering the more severe formulations. Here I distinguish four distinct tails problems. The first (bare tails problem) and second (structured tails problem) exist in the literature. I argue that while the first is a pseudo-problem, the second has not been adequately addressed. The third (multiverse tails problem) reformulates the second to account for recently discovered dynamical consequences of collapse. Finally the fourth (tails problem dilemma) shows that solving the third by replacing the Gaussian with a non-Gaussian collapse function introduces new conflict with relativity theory. (shrink)

Under what conditions are material objects, such as particles, parts of a whole object? This is the composition question and is a longstanding open question in philosophy. Existing attempts to specify a non-trivial restriction on composition tend to be vague and face serious counterexamples. Consequently, two extreme answers have become mainstream: composition (the forming of a whole by its parts) happens under no or all conditions. In this paper, we provide a self-contained introduction to the integrated information theory of consciousness (...) (IIT). We show that IIT specifies a non-trivial restriction on composition: composition happens when integrated information is maximized. We compare the IIT-restriction to existing proposals and argue that the IIT-restriction has significant advantages, especially in response to the problems of vagueness and counterexamples. An appendix provides an introduction to calculating parts and wholes with a simple system. (shrink)

Does consciousness collapse the quantum wave function? This idea was taken seriously by John von Neumann and Eugene Wigner but is now widely dismissed. We develop the idea by combining a mathematical theory of consciousness (integrated information theory) with an account of quantum collapse dynamics (continuous spontaneous localization). Simple versions of the theory are falsified by the quantum Zeno effect, but more complex versions remain compatible with empirical evidence. In principle, versions of the theory can be tested by experiments with (...) quantum computers. The upshot is not that consciousness-collapse interpretations are clearly correct, but that there is a research program here worth exploring. (shrink)

The many worlds interpretation of quantum mechanics (MWI) states that the world we live in is just one among many parallel worlds. It is widely believed that because of this commitment to parallel worlds, the MWI violates common sense. Some go so far as to reject the MWI on this basis. This is despite its myriad of advantages to physics (e.g. consistency with relativity theory, mathematical simplicity, realism, determinism, etc.). Here, we make the case that common sense in fact favors (...) the MWI. We argue that causal explanations are commonsensical only when they are local causal explanations. We present several quantum mechanical experiments that seem to exhibit nonlocal “action at a distance”. Under the assumption that only one world exists, these experiments seem immune to local causal explanation. However, we show that the MWI, by taking all worlds together, can provide local causal explanations of the experiments. The MWI therefore restores common sense to physical explanation. (shrink)

We introduce a new type of pluralism about biological function that, in contrast to existing, demonstrates a practical integration among the term’s different meanings. In particular, we show how to generalize Sandra Mitchell’s notion of integrative pluralism to circumstances where multiple epistemic tools of the same type are jointly necessary to solve scientific problems. We argue that the multiple definitions of biological function operate jointly in this way based on how biologists explain the evolution of protein function. To clarify how (...) our account relates to existing views, we introduce a general typology for monist and pluralist accounts along with standardized criteria for judging which is best supported by evidence. (shrink)

Nietzsche’s Birth of Tragedy overcomes the opposition between scientific optimism and Schopenhauerian pessimism with the image of a music-making Socrates, who symbolizes the aesthetic affirmation of life. This article shows how the aesthetic ideal is an illusion whose metaphysical solace undermines itself in being recognized as such, thereby ceasing to be comforting. While I agree with recent commentaries that contest the pervasive Schopenhauerian reading of The Birth, most of these commentaries still support the view that Nietzsche wishes to communicate some (...) fundamental truth about nature or meaning in life. By contrast, I argue that he treats any such truth as a cultural fiction that emerges from the poetic staging of reality, leaving us with a contradiction of appearances deprived of any intelligible ground. (shrink)

I will argue that MLS theory does not provide a complete, self- sufficient approach to theorizing about evolutionary transitions. As a formal, mathematical theory about evolution within a population, it presupposes but does not address the material structure of the population that realizes the model. An MLS model might tell us whether a cooperative trait could be- come fixed in a population, for example, but it won’t be able to explain how the cooperation actually works to produce an adaptive effect (...) on the group’s fitness. It also won’t be able to account for the sources of variety in the pos- sible modes of cooperation available to a population. MLS theory can tell us when fitness has transferred from one level of units to another, but it can give misleading answers unless we have some other, principled guide for picking out units (Clarke 2012; Clarke 2014). Furthermore, it is commonly acknowl- edged among biologists that actually measuring the fitness of an individual— sometimes even obtaining and interpreting proxy measurements—is diffi- cult in practice and prone to error (Hendry 2005; Orr 2009). Hence even if MLS theory were sufficient in principle, there would still be room for other approaches in practice that avoided the difficulties and limitations of depend- ing on fitness alone. (shrink)

In [1] it is claimed that, based on radiation emission measurements described in [2], a certain “variant” of the Orch OR theory has been refuted. I agree with this claim. However, the significance of this result for Orch OR per se is unclear. After all, the refuted “variant” was never advocated by anyone, and it contradicts the views of Hameroff and Penrose (hereafter: HP) who invented Orch OR [3]. My aim is to get clear on this situation. I argue that (...) it is indeed reasonable to speak of “variants” here. Orch OR is not a complete model of reality but a work in progress. At its core, it claims that wavefunction collapse is a real physical event that has something to do with gravity (“OR”) and that consciousness depends on orchestrated collapses in microtubules (“Orch”). There are many ways one could make these base ideas precise hence many “variants”. Furthermore, the ways that HP aim to make these ideas precise are radical and incomplete. If they don’t work out, Orch OR will need to fall back on another variant. Thus, I believe the significance of [1-2] for Orch OR is that it cuts out a small class of possible variants and leaves behind questions and challenges for the rest, including the variant preferred by HP. (shrink)

It is time to escape the constraints of the Systematics Wars narrative and pursue new questions that are better positioned to establish the relevance of the field in this time period to broader issues in the history of biology and history of science. To date, the underlying assumptions of the Systematics Wars narrative have led historians to prioritize theory over practice and the conflicts of a few leading theorists over the less-polarized interactions of systematists at large. We show how shifting (...) to a practice-oriented view of methodology, centered on the trajectory of mathematization in systematics, demonstrates problems with the common view that one camp straightforwardly “won” over the other. In particular, we critique David Hull’s historical account in Science as a Process by demonstrating exactly the sort of intermediate level of positive sharing between phenetic and cladistic theories that undermines their mutually exclusive individuality as conceptual systems over time. It is misleading, or at least inadequate, to treat them simply as holistically opposed theories that can only interact by competition to the death. Looking to the future, we suggest that the concept of workflow provides an important new perspective on the history of mathematization and computerization in biology after World War II. (shrink)

The idea that ambiguity can be productive in data science remains controversial. Efforts to make scientific publications and data intelligible to computers generally assume that accommodating multiple meanings for words, known as polysemy, undermines reasoning and communication. This assumption has nonetheless been contested by historians, philosophers, and social scientists, who have applied qualitative research methods to demonstrate the generative and strategic value of polysemy. Recent quantitative results from linguistics have also shown how polysemy can actually improve the efficiency of human (...) communication. I present a new conceptual typology based on a synthesis of prior research about the aims, norms, and circumstances under which polysemy arises and is evaluated. The typology supports a contextual pluralist view of polysemy’s value for scientific research practices: polysemy does both substantial positive and negative work in science, but its utility is context-sensitive in ways that are often overlooked by the norms people have formulated to regulate its use, including prior scholars researching polysemy. I also propose that historical patterns in the use of partial synonyms, i.e. terms with overlapping meanings, provide an especially promising phenomenon for integrative research addressing these issues. (shrink)

What are the prospects for a monistic view of biological individuality given the multiple epistemic roles the concept must satisfy? In this paper, I examine the epistemic adequacy of two recent accounts based on the capacity to undergo natural selection. One is from Ellen Clarke, and the other is by Peter Godfrey-Smith. Clarke’s position reflects a strong monism, in that she aims to characterize individuality in purely functional terms and refrains from privileging any specific material properties as important in their (...) own right. I argue that Clarke’s functionalism impairs the epistemic adequacy of her account compared to a middle-ground position taken by Godfrey-Smith. In comparing Clarke and Godfrey-Smith’s account, two pathways emerge to pluralism about biological individuality. The first develops from the contrast between functionalist and materialist approaches, and the second from an underlying temporal structure involved in using evolutionary processes to define individuality. (shrink)

Chimpanzee language studies have generated much heated controversy, as Roger Fouts can attest from firsthand experience. Perhaps this is because language is usually considered to be what truly distinguishes humans from apes. If chimps can indeed be taught the rudiments of language, then the difference between them and us is not as great as we might have thought. It is a matter of degree rather than kind, a continuity, and our species is not so special after all. The advantage of (...) this continuity thesis, as Fouts has emphasized, is that it conforms to the general tenets of evolutionary theory, and fits well with the evidence from paleontology and genetics that suggests that apes and humans are close cousins. It also .. (shrink)

Contemporary biology has inherited two key assumptions from the Modern Synthesis about the nature of population lineages: sexual reproduction is the exemplar for how individuals in population lineages inherit traits from their parents, and random mating is the exemplar for reproductive interaction. While these assumptions have been extremely fruitful for a number of fields, such as population genetics and phylogenetics, they are increasingly unviable for studying the full diversity and evolution of life. I introduce the “mixture” account of population lineages (...) that escapes these assumptions by dissolving the Modern Synthesis’s sharp line separating reproduction and development and characterizing reproductive integration in population lineages by the ephemerality of isolated subgroups rather than random mating. The mixture account provides a single criterion for reproductive integration that accommodates both sexual and asexual reproduction, unifying their treatment under Kevin de Queiroz’s generalized lineage concept of species. The account also provides a new basis for empirically assessing the effect of random mating as an idealization on the empirical adequacy of population genetic models. (shrink)

There is a theorem that shows that it is impossible for an algorithm to jointly satisfy the statistical fairness criteria of Calibration and Equalised Odds non-trivially. But what about the recently advocated alternative to Calibration, Base Rate Tracking? Here, we show that Base Rate Tracking is strictly weaker than Calibration, and then take up the question of whether it is possible to jointly satisfy Base Rate Tracking and Equalised Odds in non-trivial scenarios. We show that it is not, thereby establishing (...) an even more general impossibility theorem. (shrink)

Criticism of big data has focused on showing that more is not necessarily better, in the sense that data may lose their value when taken out of context and aggregated together. The next step is to incorporate an awareness of pitfalls for aggregation into the design of data infrastructure and institutions. A common strategy minimizes aggregation errors by increasing the precision of our conventions for identifying and classifying data. As a counterpoint, we argue that there are pragmatic trade-offs between precision (...) and ambiguity that are key to designing effective solutions for generating big data about biodiversity. We focus on the importance of theory-dependence as a source of ambiguity in taxonomic nomenclature and hence a persistent challenge for implementing a single, long-term solution to storing and accessing meaningful sets of biological specimens. We argue that ambiguity does have a positive role to play in scientific progress as a tool for efficiently symbolizing multiple aspects of taxa and mediating between conflicting hypotheses about their nature. Pursuing a deeper understanding of the trade-offs and synthesis of precision and ambiguity as virtues of scientific language and communication systems then offers a productive next step for realizing sound, big biodiversity data services. (shrink)

Biodiversity science is in a pivotal period when diverse groups of actors—including researchers, businesses, national governments, and Indigenous Peoples—are negotiating wide-ranging norms for governing and managing biodiversity data in digital repositories. These repositories, often called biodiversity data portals, are a type of organization for which governance can address or perpetuate the colonial history of biodiversity science and current inequities. Researchers and Indigenous Peoples are developing and implementing new strategies to examine and change assumptions about which agents should count as salient (...) participants in scientific projects, especially in projects that build and manage large digital data portals. Two notable efforts are the FAIR (Findable, Accessible, Interoperable, Reusable) and CARE (Collective benefit, Authority, Responsibility, Ethics) Principles for scientific data management and governance. To characterize how these principles influence the governance of biodiversity data portals, we develop an account of fit-for-use data that makes explicit its social as well as technical conditions in relation to agents and purposes. The FAIR Principles, already widely adopted by biodiversity researchers, prioritize machine agents and efficient computation, while the CARE Principles prioritize Indigenous Peoples and their data sovereignty. Both illustrate the potency of an emerging general strategy by which groups of actors craft and implement governance principles for data fitness-of-use to change assumptions about who are salient participants in data science. (shrink)

Guthrie contends that religion can best be understood as systematic anthropomorphism - the attribution of human characteristics to nonhuman things and events. Religion, he says, consists of seeing the world as human like. He offers a fascinating array of examples to show how this strategy pervades secular life and how it characterizes religious experience.

In this paper, I discuss how Nietzsche’s critique of nihilism concerns the complicity between Christian morality and modern atheism. I unpack in what sense Schopenhauer’s ascetic denial of the will signifies a return to nothingness, what he calls the nihil negativum. I argue that Nietzsche’s formulation of nihilism specifically targets Schopenhauer’s pessimism as the culmination of the Western metaphysical tradition, the crucial stage of its intellectual history in which the scientific pursuit of truth finally unveils the ascetic will to nothingness (...) that motivates it. I contend that Nietzsche’s critique of Schopenhauer anticipates current scholarly debates around the significance of the nihil negativum and offers a compelling objection against contemporary proponents of philosophical nihilism such as Eugene Thacker and Ray Brassier. (shrink)

We argue that the mathematization of science should be understood as a normative activity of advocating for a particular methodology with its own criteria for evaluating good research. As a case study, we examine the mathematization of taxonomic classification in systematic biology. We show how mathematization is a normative activity by contrasting its distinctive features in numerical taxonomy in the 1960s with an earlier reform advocated by Ernst Mayr starting in the 1940s. Both Mayr and the numerical taxonomists sought to (...) formalize the work of classification, but Mayr introduced a qualitative formalism based on human judgment for determining the taxonomic rank of populations, while the numerical taxonomists introduced a quantitative formalism based on automated procedures for computing classifications. The key contrast between Mayr and the numerical taxonomists is how they conceptualized the temporal structure of the workflow of classification, specifically where they allowed meta-level discourse about difficulties in producing the classification. (shrink)

Timothy Williamson has fruitfully exploited formal resources to shed considerable light on the nature of knowledge. In the paper under examination, Williamson turns his attention to Gettier cases, showing how they can be motivated formally. At the same time, he disparages the kind of justification he thinks gives rise to these cases. He favors instead his own notion of justification for which Gettier cases cannot arise. We take issue both with his disparagement of the kind of justification that figures in (...) Gettier cases and the specifics of the formal motivation. (shrink)

What does it look like when a group of scientists set out to re-envision an entire field of biology in symbolic and formal terms? I analyze the founding and articulation of Numerical Taxonomy between 1950 and 1970, the period when it set out a radical new approach to classification and founded a tradition of mathematics in systematic biology. I argue that introducing mathematics in a comprehensive way also requires re-organizing the daily work of scientists in the field. Numerical taxonomists sought (...) to establish a mathematical method for classification that was universal to every type of organism, and I argue this intrinsically implicated them in a qualitative re-organization of the work of all systematists. I also discuss how Numerical Taxonomy’s re-organization of practice became entrenched across systematic biology even as opposing schools produced their own competing mathematical methods. In this way, the structure of the work process became more fundamental than the methodological theories that motivated it. (shrink)

A familiar interpretation of quantum mechanics (one of a number of views sometimes labeled the "Copenhagen interpretation'"), takes its empirical apparatus at face value, holding that the quantum wave function evolves by the Schrödinger equation except on certain occasions of measurement, when it collapses into a new state according to the Born rule. This interpretation is widely rejected, primarily because it faces the measurement problem: "measurement" is too imprecise for use in a fundamental physical theory. We argue that this is (...) a weak objection, as there may be many ways of making "measurement" precise. However, measurement-collapse interpretations face a more serious objection: a dilemma tied to the quantum Zeno effect. Is measurement itself an observable that can enter superpositions? If yes, then the standard measurement-collapse dynamics is ill-defined. If no, then (at least if measurement is an observable), measurements can never start or finish. The best way out is to deny that measurement is an observable, but this leads to strong and revisionary consequences. This reinforces the view that there is no nonrevisionary interpretation of quantum mechanics. (shrink)

The growing range of methods for statistical model selection is inspiring new debates about how to handle the potential for conflicting results when different methods are applied to the same data. While many factors enter into choosing a model selection method, we focus on the implications of disagreements among scientists about whether, and in what sense, the true probability distribution is included in the candidate set of models. While this question can be addressed empirically, the data often provide inconclusive results (...) in practice. In such cases, we argue that differences in prior metaphysical views about the local adequacy of the models can produce underdetermination of results, even for the same data and candidate models. As a result, data alone are sometimes insufficient to settle rational beliefs about nature. (shrink)

Our aim here is to present a result that connects some approaches to justifying countable additivity. This result allows us to better understand the force of a recent argument for countable additivity due to Easwaran. We have two main points. First, Easwaran’s argument in favour of countable additivity should have little persuasive force on those permissive probabilists who have already made their peace with violations of conglomerability. As our result shows, Easwaran’s main premiss – the comparative principle – is strictly (...) stronger than conglomerability. Second, with the connections between the comparative principle and other probabilistic concepts clearly in view, we point out that opponents of countable additivity can still make a case that countable additivity is an arbitrary stopping point between finite and full additivity. (shrink)

Among the many causes of an event, how do we distinguish the important ones? Are there ways to distinguish among causes on principled grounds that integrate both practical aims and objective knowledge? Psychologist Tania Lombrozo has suggested that causal explanations “identify factors that are ‘exportable’ in the sense that they are likely to subserve future prediction and intervention” (Lombrozo 2010, 327). Hence portable causes are more important precisely because they provide objective information to prediction and intervention as practical aims. However, (...) I argue that this is only part of the epistemology of causal selection. Recent work on portable causes has implicitly assumed them to be portable within the same causal system at a later time. As a result, it has appeared that the objective content of causal selection includes only facts about the causal structure of that single system. In contrast, I present a case study from systems biology in which scientists are searching for causal factors that are portable across rather than within causal systems. By paying careful attention to how these biologists find portable causes, I show that the objective content of causal selection can extend beyond the immediate systems of interest. In particular, knowledge of the evolutionary history of gene networks is necessary for correctly identifying causal patterns in these networks that explain cellular behavior in a portable way. (shrink)

The traditional view in epistemology is that we must distinguish between being rational and being right (that is also, by the way, the traditional view about practical rationality). In his paper in this volume, Williamson proposes an alternative view according to which only beliefs that amount to knowledge are rational (and, thus, no false belief is rational). It is healthy to challenge tradition, in philosophy as much as elsewhere. But, in this instance, we think that tradition has it right. In (...) this paper we defend our version of the traditional view and argue against Williamson’s alternative. (shrink)

In many assessment problems—aptitude testing, hiring decisions, appraisals of the risk of recidivism, evaluation of the credibility of testimonial sources, and so on—the fair treatment of different groups of individuals is an important goal. But individuals can be legitimately grouped in many different ways. Using a framework and fairness constraints explored in research on algorithmic fairness, I show that eliminating certain forms of bias across groups for one way of classifying individuals can make it impossible to eliminate such bias across (...) groups for another way of dividing people up. And this point generalizes if we require merely that assessments be approximately bias-free. Moreover, even if the fairness constraints are satisfied for some given partitions of the population, the constraints can fail for the coarsest common refinement, that is, the partition generated by taking intersections of the elements of these coarser partitions. This shows that these prominent fairness constraints admit the possibility of forms of intersectional bias. (shrink)

Hofweber (Ontology and the ambitions of metaphysics, Oxford University Press, 2016) argues for a thesis he calls “internalism” with respect to natural number discourse: no expressions purporting to refer to natural numbers in fact refer, and no apparent quantification over natural numbers actually involves quantification over natural numbers as objects. He argues that while internalism leaves open the question of whether other kinds of abstracta exist, it precludes the existence of natural numbers, thus establishing what he calls “restricted nominalism” about (...) natural numbers. We argue that Hofweber’s internalism fails to establish restricted nominalism. Not only is his primary argument for restricted nominalism invalid, the analysis of quantification proposed threatens to collapse internalism into either a traditional form of error theory or realism. (shrink)

Recent impossibility theorems for fair risk assessment extend to the domain of epistemic justice. We translate the relevant model, demonstrating that the problems of fair risk assessment and just credibility assessment are structurally the same. We motivate the fairness criteria involved in the theorems as also being appropriate in the setting of testimonial justice. Any account of testimonial justice that implies the fairness/justice criteria must be abandoned, on pain of triviality.

The precautionary principle is invoked in a number of important personal and policy decision contexts. Peterson shows that certain ways of making the principle precise are inconsistent with other criteria of decision-making. Some object that the results do not apply to cases of deep uncertainty or value incommensurability which are alleged to be in the principle’s wheelhouse. First, I show that Peterson’s impossibility results can be generalized considerably to cover cases of both deep uncertainty and incommensurability. Second, I contrast an (...) alternative way of giving voice to the precautionary impulse. (shrink)

In the _True Intellectual System_, Cudworth attacks types of atheist position—atomic atheism, hylozoic atheism, etc. He generally uses ancient examples to illustrate those types, but also criticizes some of his contemporaries. We can identify direct criticisms of contemporaries by finding quotations, paraphrases, and accounts of their views in the text. My primary question in this paper is, 'how much of the _True Intellectual System_ is directly about or aimed at Spinoza?' My ultimate answer, contrary to some prominent voices in the (...) existing literature, is 'not very much at all'. (shrink)

The purpose of this book is to explain Quantum Bayesianism (‘QBism’) to “people without easy access to mathematical formulas and equations” (4-5). Qbism is an interpretation of quantum mechanics that “doesn’t meddle with the technical aspects of the theory [but instead] reinterprets the fundamental terms of the theory and gives them new meaning” (3). The most important motivation for QBism, enthusiastically stated on the book’s cover, is that QBism provides “a way past quantum theory’s paradoxes and puzzles” such that much (...) of the weirdness associated with quantum theory “dissolves under the lens of QBism”. (shrink)

This paper discusses the materialist views of Margaret Cavendish, focusing on the relationships between her views and those of two of her contemporaries, Thomas Hobbes and Henry More. It argues for two main claims. First, Cavendish's views sit, often rather neatly, between those of Hobbes and More. She agreed with Hobbes on some issues and More on others, while carving out a distinctive alternative view. Secondly, the exchange between Hobbes, More, and Cavendish illustrates a more general puzzle about just what (...) divided materialists from their opponents. Seemingly straightforward disagreements about whether incorporeal substances exist turn out to be more complex ones in which the nature of those things is disputed at the same time as their existence. (shrink)

I consider statistical criteria of algorithmic fairness from the perspective of the _ideals_ of fairness to which these criteria are committed. I distinguish and describe three theoretical roles such ideals might play. The usefulness of this program is illustrated by taking Base Rate Tracking and its ratio variant as a case study. I identify and compare the ideals of these two criteria, then consider them in each of the aforementioned three roles for ideals. This ideals program may present a way (...) forward in the normative evaluation of candidate statistical criteria of algorithmic fairness. (shrink)

I provide a characterization of weakly pseudo-rationalizable choice functions---that is, choice functions rationalizable by a set of acyclic relations---in terms of hyper-relations satisfying certain properties. For those hyper-relations Nehring calls extended preference relations, the central characterizing condition is weaker than (hyper-relation) transitivity but stronger than (hyper-relation) acyclicity. Furthermore, the relevant type of hyper-relation can be represented as the intersection of a certain class of its extensions. These results generalize known, analogous results for path independent choice functions.

Many philosophers are skeptical about the scientific value of the concept of biological information. However, several have recently proposed a more positive view of ascribing information as an exercise in scientific modeling. I argue for an alternative role: guiding empirical data collection for the sake of theorizing about the evolution of semantics. I clarify and expand on Bergstrom and Rosvall’s suggestion of taking a “diagnostic” approach that defines biological information operationally as a procedure for collecting empirical cases. The more recent (...) modeling-based accounts still perpetuate a theory-centric view of scientific concepts, which motivated philosophers’ misplaced skepticism in the first place. (shrink)

This paper generalizes rationalizability of a choice function by a single acyclic binary relation to rationalizability by a set of such relations. Rather than selecting those options in a menu that are maximal with respect to a single binary relation, a weakly pseudo-rationalizable choice function selects those options that are maximal with respect to at least one binary relation in a given set. I characterize the class of weakly pseudo-rationalizable choice functions in terms of simple functional properties. This result also (...) generalizes Aizerman and Malishevski's characterization of pseudo-rationalizable choice functions, that is, choice functions rationalizable by a set of total orders. (shrink)

Leibniz frequently uses the notion of expression, but it is not easy to see just how he understood that relation. This paper focuses on the particular case of the expression of God, which is prominent in the 'Discourse on Metaphysics'. The treatment of expression there suggests several questions. Which substances did Leibniz believe expressed God? Why did Leibniz believe those substances expressed God? And did he believe that all substances expressed God in the same way and for the same reasons? (...) In answering those questions the paper distinguishes two views about expression in the 'Discourse', considers Leibniz's reasons for holding that substances express their causes, and argues that Leibniz's views about emanative causation are important for understanding the unity of his apparently distinct views here. The paper concludes by looking briefly at how the 'Discourse' fits into the evolution of Leibniz's views on this issue over time. (shrink)

In his Enquiry concerning the Principles of Morals David Hume said that a group of earlier modern philosophers, beginning with Malebranche, held that morality was founded on relations. In this paper I follow up on that suggestion by investigating pre-Humean views in moral philosophy according to which morality is founded on relations. I do that by looking at the work of Nicolas Malebranche, John Locke, and Samuel Clarke. Each of them talked prominently about relations in their accounts of basic aspects (...) of morality. Beyond that, each of them turns out to have held both metaphysical and epistemological views that might be described as founding morality on relations. Despite the definite differences between the three philosophers’ approaches, Hume does seem to have noticed a genuine connection here—even though he himself tended to ignore significant versions of this approach when criticizing it. (shrink)

Merging of opinions results underwrite Bayesian rejoinders to complaints about the subjective nature of personal probability. Such results establish that sufficiently similar priors achieve consensus in the long run when fed the same increasing stream of evidence. Initial subjectivity, the line goes, is of mere transient significance, giving way to intersubjective agreement eventually. Here, we establish a merging result for sets of probability measures that are updated by Jeffrey conditioning. This generalizes a number of different merging results in the literature. (...) We also show that such sets converge to a shared, maximally informed opinion. Convergence to a maximally informed opinion is a (weak) Jeffrey conditioning analogue of Bayesian “convergence to the truth” for conditional probabilities. Finally, we demonstrate the philosophical significance of our study by detailing applications to the topics of dynamic coherence, imprecise probabilities, and probabilistic opinion pooling. (shrink)

Thomas Hobbes often includes powers and abilities in his descriptions of the world. Meanwhile, Hobbes’s philosophical picture of the world appears quite reductive, and he seems sometimes to say that nothing exists but bodies in motion. In more extreme versions of such a picture, there would be no room for powers. Hobbes is not an eliminativist about powers, but his view does tend toward ontological minimalism. It would be good to have an account of what Hobbes thinks powers are, and (...) how they fit into his understanding of the world. In this chapter, I investigate Hobbes’s account of the metaphysics of powers and abilities. Section 1 considers three important aspects of Hobbes’s account of powers: the connection between powers and causes; the modal aspects of powers; and the connection between powers and motions. Sections 2 and 3 then consider interpretive arguments about whether Hobbes identifies powers with underlying corporeal features. (shrink)

Gassendi and Hobbes knew each other, and their approaches to philosophy often seem similar. They both criticized the Cartesian epistemology of clear and distinct perception. Gassendi engaged at length with skepticism, and also rejected the Aristotelian notion of scientia, arguing instead for a probabilistic view that shows us how we can move on in the absence of certain and evident knowledge. Hobbes, in contrast, retained the notion of scientia, which is the best sort of knowledge and involves causal explanation. He (...) thought, however, that this sort of knowledge was only available in geometry and political philosophy. (shrink)

This paper investigates Locke’s views about materialism, by looking at the discussion in Essay IV.x. There Locke---after giving a cosmological argument for the existence of God---argues that God could not be material, and that matter alone could never produce thought. In discussing the chapter, I pay particular attention to some comparisons between Locke’s position and those of two other seventeenth-century philosophers, René Descartes and Ralph Cudworth. -/- Making use of those comparisons, I argue for two main claims. The first is (...) that the important argument of Essay IV.x.10 is fundamentally an argument about the causation of perfections. Indeed, Locke gives multiple such arguments in the chapter. My second main claim is that my proposed reading of IV.x is not merely consistent with what Locke says elsewhere about superaddition, but also provides reasons to favor a particular understanding of what superaddition is. (shrink)

A classic analytic approach to biological phenomena seeks to refine definitions until classes are sufficiently homogenous to support prediction and explanation, but this approach founders on cases where a single process produces objects with similar forms but heterogeneous behaviors. I introduce object spaces as a tool to tackle this challenging diversity of biological objects in terms of causal processes with well-defined formal properties. Object spaces have three primary components: (1) a combinatorial biological process such as protein synthesis that generates objects (...) with parts that are modular, independent, and organized according to an invariant syntax; (2) a notion of “distance” that relates the objects according to rules of change over time as found in nature or useful for algorithms; (3) mapping functions defined on the space that map its objects to other spaces or apply an evaluative criterion to measure an important quality, such as parsimony or biochemical function. Once defined, an object space can be used to represent and simulate the dynamics of phenomena on multiple scales; it can also be used as a tool for predicting higher-order properties of the objects, including stitching together series of causal processes. Object spaces are the basis for a strategy of theorizing, discovery, and analysis in biology: as heuristic idealizations of biology, they help us transform inchoate, intractable problems into articulated, well-structured ones. Developing an object space is a research strategy with a long, successful history under many other names, and it offers a unifying but not overreaching approach to biological theory. (shrink)

Saul Kripke once noted that there is a tight connection between computation and de re knowledge of whatever the computation acts upon. For example, the Euclidean algorithm can produce knowledge of which number is the greatest common divisor of two numbers. Arguably, algorithms operate directly on syntactic items, such as strings, and on numbers and the like only via how the numbers are represented. So we broach matters of notation. The purpose of this article is to explore the relationship between (...) the notations acceptable for computation, the usual idealizations involved in theories of computability, flowing from Alan Turing’s monumental work, and de re propositional attitudes toward numbers and other mathematical objects. (shrink)

In his Target Article, Terrence Deacon develops simple models that assist in understanding the role of RNA in the origins of life. However, his models fail to adequately represent an important evolutionary dynamic. Central to this dynamic is the selection that impinges on RNA molecules in the context of their association with proto-metabolisms. This selection shapes the role of RNA in the emergence of life. When this evolutionary dynamic is appropriately taken into account, it predicts a role for RNA that (...) is consistent with the Managed-Metabolism Hypothesis about the origins of life, and inconsistent with Deacon’s account. (shrink)

This chapter looks at the discussion of materialism in John Locke’s Essay concerning Human Understanding, and then at parts of the Anglophone reaction to those discussions. It considers the early criticisms of Locke by Edward Stillingfleet and the anonymous author of three sets of Remarks on Locke’s Essay. It then looks at some other ways in which readers reacted to Locke’s discussions: the views of Anthony Collins and John Toland, which one might be tempted to think of as Lockean materialism; (...) William Carroll’s reading of Locke as a Spinozistic materialist; and the dualistic Lockeanism of William Duncan’s Lockean logic textbook. (shrink)